1.3.1.6. debug.DumpDominators
Print the dominance tree for a given CFG.